1. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
2. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
3. The skyrme model : fundamentals, methods, applications
پدیدآورنده : Makhankov, Vladimir G.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Skyrme model
رده :
QC
793
.
3
.
S8M3
